x :
    (a where e
            implements K)
    -> Z
s